<html><body>Global Options dialog box panes.</body></html>
